Search CORE

141 research outputs found

From goal-oriented requirements to Event-B specifications

Author: Arenas A.
Aziz Benjamin
Bicarregui J.
Massonet P.
Ponsard C.
Publication venue
Publication date: 01/01/2009
Field of study

Portsmouth University Research Portal (Pure)

Towards modelling obligations in Event-B

Author: Arenas A.
Aziz Benjamin
Bicarregui J.
Massonet P.
Ponsard C.
Publication venue
Publication date: 16/09/2008
Field of study

Portsmouth University Research Portal (Pure)

Modelling security properties in a grid-based operating system with anti-goals

Author: Arenas A.
Aziz Benjamin
Bicarregui J.
Matthews B.
Yang E.
Publication venue: 'Institute of Electrical and Electronics Engineers (IEEE)'
Publication date: 01/03/2008
Field of study

Portsmouth University Research Portal (Pure)

The VerifyThis Collaborative Long Term Challenge

Author: CAR Hoare
F Maurica
J Bicarregui
J Boerman
J-C Filliâtre
J-R Abrial
JW McCormick
M Huisman
M Huisman
R Hähnle
R Joshi
R Sedgewick
S de Gouw
V Klebanov
Publication venue: Springer
Publication date: 04/12/2020
Field of study

University of Twente Research Information

Quantitative analysis of an application of formal methods

Author: J. C. Bicarregui
U.K. Department of Trade and Industry
Yourdon Inc.
Publication venue: 'Springer Science and Business Media LLC'
Publication date
Field of study

State-of-the-Art Model Checking for B and Event-B Using ProB and LTSmin

Author: A Laarman
A Valmari
A Valmari
C Venkatramani
D Hansen
D Plagge
G Ciardo
G Kant
I Dobrikov
I Dobrikov
J Bendisposto
J Bendisposto
J Meijer
J Meijer
J Woodcock
J-R Abrial
J-R Abrial
J-R Abrial
JC Bicarregui
JR Burch
M Colange
M Leuschel
P Hintjens
P Körner
S Blom
S Blom
S Krings
S Krings
T Dijk van
Y Yu
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/09/2018
Field of study

University of Twente Research Information

Building and sustaining data infrastructures: putting policy into practice

Author: Bicarregui J
Publication venue
Publication date: 01/01/2016
Field of study

ePubs: the open archive for STFC research publications

EOSC 2nd Stakeholders Forum: Opening

Author: Bicarregui J
Publication venue
Publication date: 01/01/2018
Field of study

ePubs: the open archive for STFC research publications

The European Open Science Cloud

Author: Bicarregui J
Publication venue
Publication date: 01/01/2018
Field of study

ePubs: the open archive for STFC research publications

Key attributes for a Research Data Infrastructure

Author: Bicarregui J
Publication venue
Publication date: 01/01/2018
Field of study

ePubs: the open archive for STFC research publications

…

core

core